Minimal external representations of tropical polyhedra

نویسندگان

  • Xavier Allamigeon
  • Ricardo Katz
چکیده

Tropical polyhedra are known to be representable externally, as intersections of finitely many tropical half-spaces. However, unlike in the classical case, the extreme rays of their polar cones provide external representations containing in general superfluous half-spaces. In this paper, we prove that any tropical polyhedral cone in R (also known as “tropical polytope” in the literature) admits an essentially unique minimal external representation. The result is obtained by establishing a (partial) anti-exchange property of half-spaces. Moreover, we show that the apices of the halfspaces appearing in such non-redundant external representations are vertices of the cell complex associated with the polyhedral cone. We also establish a necessary condition for a vertex of this cell complex to be the apex of a non-redundant half-space. It is shown that this condition is sufficient for a dense class of polyhedral cones having “generic extremities”.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Minimal half-spaces and external representation of tropical polyhedra

We give a characterization of the minimal tropical half-spaces containing a given tropical polyhedron, from which we derive a counter-example showing that the number of such minimal half-spaces can be infinite, contradicting some statements which appeared in the tropical literature, and disproving a conjecture of F. Block and J. Yu. We also establish an analogue of the Minkowski–Weyl theorem, s...

متن کامل

A ug 2 00 9 MINIMAL HALF - SPACES AND EXTERNAL REPRESENTATION OF TROPICAL POLYHEDRA STÉPHANE

We give a characterization of the minimal tropical half-spaces containing a given tropical polyhedron, from which we derive a counter example showing that the number of such minimal half-spaces can be infinite, contradicting some statements which appeared in the tropical literature, and disproving a conjecture of F. Block and J. Yu. We also establish an analogue of the Minkowski-Weyl theorem, s...

متن کامل

Susceptibility of three Eco-races of tropical Tasar silkworm to Antheraea mylitta cytoplasmic polyhedrosis virus (AmCPV)

Pathogenic infection in tasar silkworm, Antheraea mylitta Drury. is common and there is a breed specific response regarding tolerance. Observations reveal the possibility of differential response by haemocytes to microbial infection in different breeds. Hence, the susceptibility of three eco-races of tasar silkworm viz. Daba, Sarihan and Raily to Antheraea mylitta Cytoplasmic Polyhedrosis Virus...

متن کامل

Thèse présentée pour obtenir le grade de

In this thesis, we define a static analysis by abstract interpretation of memory manipulations. It is based on a new numerical abstract domain, which is able to infer program invariants involving the operators min and max. This domain relies on tropical polyhedra, which are the analogues of convex polyhedra in tropical algebra. Tropical algebra refers to the set R∪{−∞} endowed with max as addit...

متن کامل

Thèse présentée pour obtenir le grade de DOCTEUR DE L’ÉCOLE POLYTECHNIQUE

In this thesis, we define a static analysis by abstract interpretation of memory manipulations. It is based on a new numerical abstract domain, which is able to infer program invariants involving the operators min and max. This domain relies on tropical polyhedra, which are the analogues of convex polyhedra in tropical algebra. Tropical algebra refers to the set R∪{−∞} endowed with max as addit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Comb. Theory, Ser. A

دوره 120  شماره 

صفحات  -

تاریخ انتشار 2013